what is normalization of wave function